chain\_config() $\in$ Type